On Some New Intuitionistic Propositional Connectives. IGABBAY D. M.Studia Logica. 1977, Vol 36, Num 1-2, pp 127-139Article

A GENERALIZATION OF THE CONCEPT OF INTENSIONAL SEMANTICSGABBAY D. M.PHILOSOPHIA. PHILOSOPHICAL QUARTERLY OF ISRAEL. 1974, Vol 4, Num 2-3, pp 251-270Article

TENSE SYSTEMS WITH DISCRETE MOMENTS OF TIME. IGABBAY D. M.J. PHILOS. LOG. 1972, Vol 1, Num 1, pp 35-44Article

A GENERAL THEORY OF THE CONDITIONAL IN TERMS OF A TERNARY OPERATORGABBAY D. M.THEORIA. A SWEDISH JOURNAL OF PHILOSOPHY. 1972, Vol 38, Num 3, pp 97-104Article

ON ZND ORDER INTUITIONISTIC PROPOSITIONAL CALCULUS WITH FULL COMPREHENSIONGABBAY D. M.ARCHIV FUR MATHEMATISCHE LOGIK UND GRUNDLAGENFORSCHUNG. 1974, Vol 16, Num 3-4, pp 177-186Article

Completeness Properties of Heyting's Predicate Calculus with Respect to RE ModelsGABBAY D. M.Journal of Symbolic Logic. 1976, Vol 41, Num 1, pp 81-94Article

A GENERALIZATION OF THE CONCEPT OF INTENSIONAL SEMANTICSGABBAY D. M.PHILOSOPHIA. PHILOSOPHICAL QUARTERLY OF ISRAEL. 1974, Vol 4, Num 2-3, pp 251-270Article

APPLICATIONS OF SCOTT'S NOTION OF CONSEQUENCE TO THE STUDY OF GENERAL BINARY INTENSIONAL CONNECTIVES AND ENTAILMENTGABBAY D. M.JOURNAL OF PHILOSOPHICAL LOGIC. 1973, Vol 2, Num 3, pp 340-351Article

A GENERAL FILTRATION METHOD FOR MODAL LOGICSGABBAY D. M.J. PHILOS. LOG. 1972, Vol 1, Num 1, pp 29-34Article

THE DECISION PROBLEM FOR SOME FINITE EXTENSIONS OF THE INTUITIONISTIC THEORY OF ABELIAN GROUPSGABBAY D. M.STUDIA LOGICA. 1975, Vol 34, Num 1, pp 59-67Article

A Normal Logic that Is Complete for Neighborhood Frames but not for Kripke FramesGABBAY D. M.Theoria. A Swedish Journal of Philosophy. 1975, Vol 41, Num 3, pp 148-153Article

APPLICATIONS OF SCOTT'S NOTION OF CONSEQUENCE TO THE STUDY OF GENERAL BINARY INTENTIONAL CONNECTIVES AND ENTAILMENTGABBAY D. M.JOURNAL OF PHILOSOPHICAL LOGIC. 1973, Vol 2, Num 3, pp 340-351Article

On the Semantics and Pragmatics of Specific and Non-Specific Indefinite ExpressionsKASHER A; GABBAY D. M.Theoretical Linguistics. 1976, Vol 3, Num 1-2, pp 145-190Article

SAMENESS AND INDIVIDUATIONGABBAY D; MORAVCSIK J. M.JOURNAL (THE) OF PHILOSOPHY. 1973, Vol 70, Num 16, pp 513-526Article

A SEQUENCE OF DECIDABLE FINITELY AXIOMATIZABLE INTERMEDIATE LOGICS WITH THE DISJUNCTION PROPERTYGABBAY D. M; JONGH D. H. J. DE.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 1, pp 67-78Article

Branching Quantifiers, English, and Montague-GrammarGABBAY D. M; MORAVCSIK J. H. E.Theoretical Linguistics. 1974, Vol 1, Num 1-2, pp 139-157Article

A theory of hypermodal logics: Mode shifting in modal logic = Théorie de la logique hypermodale: le changement de mode dans la logique modaleGABBAY, D. M.Journal of philosophical logic. 2002, Vol 31, Num 3, pp 211-243, issn 0022-3611Article

A Tense System with split Truth Table in Tense LogicGABBAY, D. M.Logique et Analyse Louvain. 1977, Vol 20, Num 80, pp 359-393Article

A general theory of structured consequences relationsGABBAY, D. M.Theoria (Madrid). 1995, Vol 10, Num 23, pp 49-78, issn 0495-4548Article

On the Quantifier there is a certain XGABBAY, D. M; KASHER, A.Communication and Cognition Ghent. 1977, Vol 10, Num 2, pp 71-76Article

Descriptions définies incorrectes. Performance linguistique et espaces logiquesKASHER, A; GABBAY, D. M.Iyyun. A Hebrew Philosophical Quarterly Jérusalem. 1976, Vol 27, pp 74-88Article

Crossover: a unified view = Croisement de référence : un point de vue unifiéKEMPSON, R; GABBAY, D.Journal of linguistics. 1998, Vol 34, Num 1, pp 73-124, issn 0022-2267Article

Stepped sinewave inverterAPPELBAUM, J; GABBAY, D.IEEE transactions on aerospace and electronic systems. 1984, Vol 20, Num 6, pp 754-760, issn 0018-9251Article

Preservation of expressive completeness in temporal modelsAMIHOOD AMIR; GABBAY, D. M.Information and computation (Print). 1987, Vol 72, Num 1, pp 66-83, issn 0890-5401Article

Determination of the number of cells in a stepped sine wave inverter for equal charge transferAPPELBAUM, J; GABBAY, D.IEEE transactions on aerospace and electronic systems. 1985, Vol 21, Num 4, pp 484-489, issn 0018-9251Article